Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
61	Monoidal Indeterminates and Categories of Possible WorldsI C. Hermida, R. D. Tennent∗ School of Computing, Queen’s University, Kingston, Canada K7L 3N6 Abstract Given any symmetric monoidal category C, a small symmet Add to Reading List Source URL: maggie.cs.queensu.ca Language: English - Date: 2011-12-16 22:41:04 Category theory Algebra Mathematics Monoidal categories Monoid Enriched category Adjoint functors Cartesian closed category Coproduct Bicategory Functor Sheaf
62	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-07-18 12:57:54 Declarative programming Software engineering Computer programming Functional programming Theoretical computer science Category theory Recursion Type theory Corecursion Symbol Stream Constructible universe
63	21 Documenta Math. The Euler Characteristic of a Category Tom Leinster1 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2008-04-01 12:28:25 Mathematics Algebra Abstract algebra Algebraic structures Algebraic topology Euler characteristic Topological graph theory Semigroup theory Monoid Exponentiation Orbifold Incidence algebra
64	691 Documenta Math. Affine Simplices in Oka Manifolds ´russon Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-12-17 05:04:14 Mathematics Topology Homotopy theory Mathematical analysis Complex manifolds Stein manifold Simplicial set Model category Manifold Retract Kan fibration Several complex variables
65	FAKULTÄT FÜR INFORMATIK DER TECHNISCHEN UNIVERSITÄT MÜNCHEN Master’s Thesis in Computer Science A category theory based (co)datatype Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2012-04-17 03:57:16
66	The Galois-Theoretic Kodaira-Spencer Morphism of an Elliptic Curve Shinichi Mochizuki JulyContents: Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 07:14:56 Algebra Abstract algebra Mathematics Category theory Homotopy theory Algebraic topology Groupoid Group scheme Stack tale morphism Universal property Morphism of algebraic varieties
67	Input for derived algebraic geometry: equivariant multiplicative infinite loop space theory Peter May Joint work with Bertrand Guillou, Mona Merling, and Angelica Osorno Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2016-02-13 16:56:39 Algebra Mathematics Abstract algebra Monoidal categories Functor Adjoint functors Monoid Equivariant map Natural transformation Coproduct Classifying space Burnside category
68	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-02-11 10:23:52 Software engineering Computer programming Declarative programming Recursion Theoretical computer science Functional programming Category theory Subroutines Corecursion Fold Coinduction Tail call
69	Part-whole Relations in Conceptual Spaces Sandro Rama Fiorini(1,2), Peter Gärdenfors(2), Mara AbelFederal University of Rio Grande Do Sul │ Add to Reading List Source URL: www.kr-med.org Language: English - Date: 2012-06-26 11:03:09 Philosophy Ontology Metaphysics Logic Mereology Conceptual space Prototype theory Prototype Category of being Concept learning Relation
70	177 Documenta Math. Hicas of Length ≤ 4 Vanessa Miemietz and Will Turner Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-03-18 12:47:45 Abstract algebra Mathematics Representation theory Lie algebras Operator theory Algebras Quiver Von Neumann algebra Weight Tilting theory Graded ring Highest-weight category